precise definition of a limit proof